Le management stratégique comme clé de lecture du développement des projets de territoire

Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués

ion Périmètre Exactitude Relation Architecture Donnée Calcul Temps

Vers l'utilisation des méthodes formelles pour le développement de linguiciels

A b s t r a c t Formal methods have'nt been applied enough in the development process of lingware although their advantages have been proved in many other domains. In this framework, we have investigated some applications dealing with different processing levels (lexical analyses, morphology, syntax, semantic and pragmatic). These investigations has mainly led to the following observations. Fir...

Hughral et le Commentaire du K. al-Raema de Jabir

Saadi le Poete de L'antinomie et du Paradoxe

آثار سعدی سرشار از تناقض و پارادوکس می باشد. کاربرد این عوامل نه تنها برای روند متن بازدارنده نیست، بلکه موجب روانی و شیوایی آن نیز می شود و بر غنای آن می افزاید. ما این دو عامل خلاق را، با مثالهایی، در بستر متن و در دو سطح متفاوت مورد مطالعه قرار داده ایم: واژگان و مباحث. تناقض و پارادوکس هر یک در بستر متن از مکانیزم های خاصی برخوردارند و نقش خلاق آنها در حیطه واژگان و مباحث به وضوح به چشم می ...

Séro-neutralisation de sous-types A de virus aphteux sur un système cellulaire. Etablissement des relations liant le titre du sérum au titre du virus